منابع مشابه
natural axioms for classical mereology
We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated.The equivalence of our axiom systemwith other, more familiar systems is established by purely deductivemethods, along with additional results on the relative strengths of the composition and decomposition axioms of each theor...
متن کاملMereology and Rough Mereology: Rough Mereological Granulation
In this chapter, we embark on a more specific granulation theory, stemming from the mereological theory of things. This mechanism provides us with tolerance and weak tolerance relations forming a graded similarity in the sense of Chap.1 and with resulting therefrom granules. To put the necessary notions in a proper order, we are going to discuss mereology, rough mereology and the mereological g...
متن کاملContext Mereology
We show that under a small number of assumptions, it is possible to interpret truth in a context as a quantification over truth in 'atomic' or pointlike contexts, which are transparent to all the connectives. We discuss the necessary assumptions and suggest conditions under which they are intuitively reasonable. Introduction This note is inspired by the context logic originally introduced by J....
متن کاملSequents for Non-wellfounded Mereology
The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.
متن کاملMereology, Modality and Magic
If the property being a methane molecule is a universal, then it is a structural universal: objects instantiate being a methane molecule just in case they have the right sorts of proper parts arranged in the right sort of way. Lewis argued that there can be no satisfactory account of structural universals; in this paper I provide a satisfactory account.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1985
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870934